Finite Automata with output